| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 7 | 531708 | ||
| Advanced Topics in Machine Learning for Human Language Technology | Fach-/Modulprüfung | 4 | 529448 | ||
| Compilerbau | Fach-/Modulprüfung | 7 | 534496 | Di 29.07.2025 12:00-14:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Di 02.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 533716 | Di 12:30-14:00 AH III (2350|314.1) (×13) Mi 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Übung | 533717 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Computer Vision | Fach-/Modulprüfung | 7 | 532120 | ||
| Vorlesung/Übung | 524905 | Mo 10:30-12:00 TEMP2 (1515|002) (×13) Do 08:30-10:00 TEMP2 (1515|002) (×11) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 7 | 528016 | ||
| Eingebettete Systeme | Fach-/Modulprüfung | 7 | 532112 | ||
| Vorlesung/Übung | 524753 | Mo 16:30-18:00 H07 (1385|104) (×12) Mi 10:30-12:00 H07 (1385|104) (×13) | |||
| Vorlesung/Übung | 527290 | Mo 14:30-16:00 AH III (2350|314.1) (×12) Di 18:30-20:00 H06 (1385|004) (×13) | |||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 7 | 529313 | ||
| Vorlesung | 526041 | Mo 10:30-12:00 5056 (2356|056) (×12) Di 08:30-10:00 5056 (2356|056) (×14) | |||
| Übung | 526841 | Fr 12:30-14:00 5052 (2356|052) (×12) | |||
| Foundations of Functional Programming | Fach-/Modulprüfung | 7 | 530040 | ||
| Foundations of Logic Programming | Fach-/Modulprüfung | 7 | 531301 | Mi 06.08.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Otto Fuchs-Hörsaal (H03) (1385|003) Mo 01.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) | |
| Übung | 532443 | Do 10:30-12:00 AH IV (2354|030) (×11) | |||
| Vorlesung | 532442 | Do 16:30-18:00 AH II (2350|111) (×11) Fr 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Geometrieverarbeitung | Fach-/Modulprüfung | 7 | 532114 | ||
| Vorlesung | 525193 | Di 10:30-12:00 AH VI (2356|051) (×13) Do 10:30-12:00 AH III (2350|314.1) (×11) | |||
| Übung | 524333 | Fr 10:30-12:00 AH V (2356|050) (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 7 | 528510 | ||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 7 | 529571 | ||
| Vorlesung | 526173 | Mo 16:30-18:00 TEMP1 (1515|001) (×13) Fr 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×13) | |||
| Übung | 526126 | Di 10:30-12:00 TEMP2 (1515|002) (×12) | |||
| Model Checking | Fach-/Modulprüfung | 7 | 531296 | ||
| Rekursionstheorie | Fach-/Modulprüfung | 7 | 528857 | ||
| Shape Analysis and 3D Deep Learning | Fach-/Modulprüfung | 7 | 529034 | Di 19.08.2025 09:00-11:00 H01 (1385|101) Do 25.09.2025 12:00-14:00 AachenMünchener Halle (Aula) (1010|131) | |
| Übung | 527084 | Do 12:30-14:00 AH III (2350|314.1) (×11) | |||
| Vorlesung | 527270 | Di 14:30-16:00 AH V (2356|050) (×12) Do 14:30-16:00 AH VI (2356|051) (×11) | |||
| Software-Architekturen | Fach-/Modulprüfung | 7 | 532110 | ||
| Statistische Methoden zur Verarbeitung natürlicher Sprache | Fach-/Modulprüfung | 8 | 531402 | ||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 7 | 529671 | ||
| Wissensrepräsentation | Fach-/Modulprüfung | 7 | 531310 |